/******************************************************************************
* This file is part of is32p218 platform,
* Copyright (c) 2009 HangZhou InfoStrong CO.,LTD. All rights reserved.
* This software may only be used under the terms of a valid, current,
* end user license from InfoStrong.
* Nothing else gives you the right to use this software.   
*
* Name:   os_api.h
* Desc:   OS API header file
* Author: Jerry
* Date:   2009-10-21
* Note:   
* History:
*
******************************************************************************/
#include "isOS.h"
#include "os_cfg.h"
#include "os_glb.h"
#include "os_tsk.h"
#include "os_port.h"
#include "os_libc.h"
#if OS_QUE_EN
#include "os_que.h"
#endif
#if OS_SEM_EN
#include "os_tmr.h"
#endif
#if OS_FLG_EN
#include "os_flg.h"
#endif
#if OS_MEM_EN
#include "os_mem.h"
#endif
#if OS_TMR_EN
#include "os_tmr.h"
#endif

#if OS_MTX_EN
#include "os_mtx.h"
#endif

#if OS_SEM_EN
#include "os_sem.h"
#endif

#ifndef __OS_API_H__
#define __OS_API_H__

#endif //end __OS_API_H__

